منابع مشابه
Playing Games with Timed Games
In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. Following the example of timed simulation between timed automata, we define timed alternating simulation as a preorder between timed game automata, which preserves controllability. We define a method to reduce the timed alternating simulation prob...
متن کاملPlaying Stochastic Games Precisely
We study stochastic two-player games where the goal of one player is to achieve precisely a given expected value of the objective function, while the goal of the opponent is the opposite. Potential applications for such games include controller synthesis problems where the optimisation objective is to maximise or minimise a given payoff function while respecting a strict upper or lower bound, r...
متن کاملPlaying Games with Theorem Provers
The disciplines of Computer Game Playing and Automated Theorem Proving have a lot in common and insights to share. From huge search spaces to heuristics and evaluation function, from learning to domain analysis to competition, both of these areas of Artificial Intelligence have much to gain from each other. This paper describes the use of a logic based language to describe games and a game play...
متن کاملPlaying Online Games: Flow Experience
Playing MUDs (Multi-User Dungeons, or Multi-User Dimensions), text-only online gaming environments, may initiate flow experience. Online survey research was administered within the population of Russian MUDs players, using the specially designed questionnaire with 3 blocks of questions: demography and experience in playing MUDs; flow experience; interactive patterns. Replies of respondents (N =...
متن کاملPlaying Games with Genetic Algorithms
In 1987 the first published research appeared which used the Genetic Algorithm as a means of seeking better strategies in playing the repeated Prisoner’s Dilemma. Since then the application of Genetic Algorithms to game-theoretical models has been used in many ways. To seek better strategies in historical oligopolistic interactions, to model economic learning, and to explore the support of coop...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1981
ISSN: 0028-0836,1476-4687
DOI: 10.1038/290530a0